qadd\_grp $\in$ abgrp\{i:l\}